A Model-driven Approach for the Analysis of Multimedia Document
نویسندگان
چکیده
This paper proposes a model-driven approach for the analysis of multimedia documents. Structural and behavioral properties of a multimedia document are verified thus guaranteeing its well-formedness and conformance before deployment. Multimedia documents are interpreted as object model instances of a multimedia document metamodel. Structural properties are verified using consistency reasoning over an ontology representation of the given object model together with OCL invariant validation (i.e., the application of OCL invariants to the given object model). Behavioral properties are verified through model checking on the transition system associated to the given multimedia document. Both metamodel and user-defined behavioral properties are verified.
منابع مشابه
Examination of Vroom’s motivational theory: A new marketing strategy in consumers of online document delivery services: Case study of Shahid Chamran University of Ahvaz
This study aimed to identify and test expectancy motivational model as a theoretical framework to explain the reasons motivating expected information consumer’s behavior for the selection and use of document delivery services of Shahid Chamran University, Ahvaz. In this study, explanatory survey method was used. In order to test the hypotheses and analysis of model’s data, covariance structural...
متن کاملVoltage Control Strategy for Direct-drive Robots Driven by Permanent Magnet Synchronous Motors
Torque control strategy is a common strategy to control robotic manipulators. However, it becomes complex duo to manipulator dynamics. In addition, position control of Permanent Magnet Synchronous Motors (PMSMs) is a complicated control. Therefore, tracking control of robots driven by PMSMs is a challenging problem. This article presents a novel tracking control of electrically driven robots wh...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملSensitivity Analysis of Technology Changes for EnergyDemand by Iranian Economic Sectors: an Application of Sherman-Morrisson Method and Input-Output Approach
We undertook a sensitivity analysis of the key demand factors leading to changes of energy consumption in the competitive market, using a Leontief demand-driven approach. We applied the Leontief model to previous research results to study the most sensitive factors leading to the change of energy demand in different economic sectors. Based on the 2011 Iranian symmetrical input–output table, the...
متن کاملA Document Weighted Approach for Gender and Age Prediction Based on Term Weight Measure
Author profiling is a text classification technique, which is used to predict the profiles of unknown text by analyzing their writing styles. Author profiles are the characteristics of the authors like gender, age, nativity language, country and educational background. The existing approaches for Author Profiling suffered from problems like high dimensionality of features and fail to capture th...
متن کامل